Conflict-free Replicated Data Type